Some Assembly Required - Program Analysis of Embedded System Code

Source URL: www.cse.unsw.edu.au

• Data types
• Procedural programming languages
• Program analysis
• Compiler construction
• Programming language implementation
• C
• Aliasing
• Type system
• Pointer
• Software engineering
• Computing
• Computer programming

Embedded Linux Conference EuropeBridging the gap between hardware and software tracing  @c_bab 1

Source URL: www.efficios.com

• Software
• Debuggers
• ARM architecture
• Beta software
• LTTng
• IEEE standards
• Tracing
• ARM Cortex-A9 MPCore
• Nexus
• Computing
• Computer architecture
• Debugging

Diving Medicine FAQs Pacemakers and Diving DAN Offers Some Sage Advice on Mixing the Two, By CDR Jim Caruso, M.C., U.S. Navy Diving Medical Officer Q: Is it safe to begin scuba diving - or to continue to dive - after hav

Source URL: www.danap.org

• Cardiac electrophysiology
• Neuroprosthetics
• Embedded systems
• Artificial cardiac pacemaker
• Pacemaker
• Scuba diving
• Recreational diving
• Professional diving
• Cardiology
• Underwater diving
• Medicine
• Implants

Embedded LINUX in a Soft Real-Time Task: The Canadian Geological Survey Internet Seismometer ∗ c Sept 2001

Source URL: www.arescon.com

• Seismometer
• Earthquakes
• Strong ground motion
• Earthquake engineering
• Accelerometer
• Earthquake prediction
• Earthquake
• Richter magnitude scale
• Peak ground acceleration
• Seismology
• Mechanics
• Measuring instruments

JED MICROPROCESSORS PTY LTD 173 Boronia Rd, Boronia, (PO Box 30), Victoria, 3155, Australia. Phone: +, Fax: +Internet web site: http://www.jedmicro.com.au/ (email via web site links) TIG505

Source URL: www.jedmicro.com.au

• Amiga
• Reconfigurable computing
• Xilinx
• Serial port
• Microcontrollers
• D-subminiature
• RS-232
• I²C
• Embedded system
• Computer hardware
• Computing
• Electronics

Package ‘haven’ April 9, 2015 VersionTitle Import SPSS, Stata and SAS Files Description Import foreign statistical formats into R via the embedded ReadStat C library (https://github.com/WizardMac/ReadStat). Pa

Source URL: cran.r-project.org

• Linear algebra
• Procedural programming languages
• SPSS
• Functional languages
• Stata
• Vector space
• Euclidean vector
• ALGOL 68
• Environment variable
• Algebra
• Mathematics
• Abstract algebra

Neuron® 5000 Processor The Next-generation Neuron Chip for LONWORKS® Control Networks ®

Source URL: www.echelon.com

• Computer memory
• Electronic engineering
• Microcontrollers
• Electronics manufacturing
• Embedded systems
• Serial Peripheral Interface Bus
• EEPROM
• I²C
• Joint Test Action Group
• Electronics
• Computer hardware
• Non-volatile memory

Begrijpt u wat ik bedoel? D e meest gebruikte compiler, ook in de embedded-wereld, is waarschijnlijk GCC. We hebben zo’n compiler nodig om C te vertalen naar machinetaal en daar is

Source URL: albert.mietus.nl

Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST

Source URL: frama-c.com

• Software
• Software requirements
• Embedded systems
• Safety
• DO-178C
• DO-178B
• Frama-C
• Formal verification
• Verification
• Software development
• Avionics
• Computing

Astronomical Data Analysis Software and Systems X ASP Conference Series, Vol. 238, 2001 F. R. Harnden Jr., F. A. Primini, and H. E. Payne, eds. The FITS Embedded Function Format Arnold H. Rots, Jonathan C. McDowell, X. H

Source URL: www.adass.org

• Data types
• Computing
• Type theory
• Variables
• Function
• Enumerated type
• C
• Parameter
• Array data type
• Mathematics
• Software engineering
• Elementary mathematics